	switch (t->back) {
	default: Uerror("bad return move");
	case  0: goto R999; /* nothing to undo */

		 /* PROC :init: */
	case 3: /* STATE 7 */
		sv_restor();
		goto R999;

	case 4: /* STATE 8 */
		;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 5: /* STATE 9 */
		;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 6: /* STATE 10 */
		;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 7: /* STATE 11 */
		;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 8: /* STATE 13 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC MACHINE */
	case 9: /* STATE 5 */
		sv_restor();
		goto R999;
	case 10: /* STATE 10 */
		sv_restor();
		goto R999;
	case 11: /* STATE 15 */
		sv_restor();
		goto R999;
	case 12: /* STATE 20 */
		sv_restor();
		goto R999;
	case 13: /* STATE 25 */
		sv_restor();
		goto R999;

	case 14: /* STATE 29 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC TIME */
	case 15: /* STATE 3 */
		sv_restor();
		goto R999;

	case 16: /* STATE 7 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC LIGHT */
	case 17: /* STATE 4 */
		sv_restor();
		goto R999;
	case 18: /* STATE 8 */
		sv_restor();
		goto R999;
	case 19: /* STATE 12 */
		sv_restor();
		goto R999;
	case 20: /* STATE 16 */
		sv_restor();
		goto R999;
	case 21: /* STATE 20 */
		sv_restor();
		goto R999;
	case 22: /* STATE 24 */
		sv_restor();
		goto R999;
	case 23: /* STATE 28 */
		sv_restor();
		goto R999;
	case 24: /* STATE 32 */
		sv_restor();
		goto R999;
	case 25: /* STATE 36 */
		sv_restor();
		goto R999;
	case 26: /* STATE 40 */
		sv_restor();
		goto R999;
	case 27: /* STATE 44 */
		sv_restor();
		goto R999;
	case 28: /* STATE 48 */
		sv_restor();
		goto R999;

	case 29: /* STATE 52 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC TRAIN */
	case 30: /* STATE 3 */
		sv_restor();
		goto R999;
	case 31: /* STATE 6 */
		sv_restor();
		goto R999;
	case 32: /* STATE 9 */
		sv_restor();
		goto R999;
	case 33: /* STATE 13 */
		sv_restor();
		goto R999;
	case 34: /* STATE 16 */
		sv_restor();
		goto R999;

	case 35: /* STATE 20 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC GATE */
	case 36: /* STATE 4 */
		sv_restor();
		goto R999;
	case 37: /* STATE 7 */
		sv_restor();
		goto R999;
	case 38: /* STATE 11 */
		sv_restor();
		goto R999;
	case 39: /* STATE 14 */
		sv_restor();
		goto R999;

	case 40: /* STATE 18 */
		;
		p_restor(II);
		;
		;
		goto R999;
	}

